- rule-based deduction
- дедукция, основанная на системе порождающих правил, проф. продукционная дедукция
English-Russian electronics dictionary .
rule-based deduction
Смотреть что такое "rule-based deduction" в других словарях:
deduction — 1 Deduction, abatement, rebate, discount are comparable when they mean an amount subtracted from a gross sum. Deduction is interchangeable with any of the others but not without some loss in precision. An abatement is a deduction from a levied… … New Dictionary of Synonyms
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Public Policy Limitation on Deduction for Business Expenses — Brief Introduction: Deduction for Business Expenses Section 162(a) of the Internal Revenue Code allows for taxpayers to deduct ordinary and necessary expenses paid or incurred in carrying on a trade or business from their gross income. [26 U.S.C … Wikipedia
Semantic gap — The semantic gap characterizes the difference between two descriptions of an object by different linguistic representations, for instance languages or symbols. In computer science, the concept is relevant whenever ordinary human activities,… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Sources of Islamic law — Various sources of Islamic law are used by Islamic jurisprudence to elucidate the Sharia, the body of Islamic law.cite web |url=http://www.al islam.org/jurisprudence/ |title=Jurisprudence and its Principles |accessdate=2008 07 26 |last=Mutahhari… … Wikipedia
Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… … Wikipedia
complexity — /keuhm plek si tee/, n., pl. complexities for 2. 1. the state or quality of being complex; intricacy: the complexity of urban life. 2. something complex: the complexities of foreign policy. [1715 25; COMPLEX + ITY] * * * ▪ scientific theory… … Universalium
Immanuel Kant — Kant redirects here. For other uses, see Kant (disambiguation). See also: Kant (surname) Immanuel Kant Immanuel Kant Full name Immanuel Kant Born 22 April 1724 … Wikipedia
Multi-paradigm programming language — A multi paradigm programming language is a programming language that supports more than one programming paradigm. As Leda designer Tim Budd holds it: The idea of a multiparadigm language is to provide a framework in which programmers can work in… … Wikipedia
